Dupre, Daniele Theseider: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

On the Relationship Between Abduction and Deduction

CONSOLE, LUCA, DUPRE, DANIELE THESEIDER, TORASSO, PIETRO

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1.46 MB

english, 1991

2

A spectrum of definitions for temporal model-based diagnosis

Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 3.39 MB

english, 1998

3

Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: an Answer Set Programming approach

Spiotta, Matteo, Terenziani, Paolo, Theseider Dupre, Daniele

Journal:

IEEE Transactions on Knowledge and Data Engineering

Year:

2017

Language:

english

File:

PDF, 686 KB

english, 2017

4

[IEEE 2014 IEEE International Conference on Healthcare Informatics (ICHI) - Verona, Italy (2014.9.15-2014.9.17)] 2014 IEEE International Conference on Healthcare Informatics - Advances in the GINSENG Project

Terenziani, Paolo, Bottrighi, Alessio, Giordano, Laura, Franceschinis, Giuliana, Montani, Stefania, Piovesan, Luca, Portinale, Luigi, Rubrichi, Stefania, Spiotta, Matteo, Dupre, Daniele Theseider

Year:

2014

Language:

english

File:

PDF, 118 KB

english, 2014

5

[ACM Press the Fourteenth International Conference - Rome, Italy (2013.06.10-2013.06.14)] Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL '13 - Temporal deontic action logic for the verification of compliance to norms in ASP

Giordano, Laura, Martelli, Alberto, Dupré, Daniele Theseider

Year:

2013

Language:

english

File:

PDF, 341 KB

english, 2013

6

[ACM Press the 22nd ACM conference - Eindhoven, The Netherlands (2011.06.06-2011.06.09)] Proceedings of the 22nd ACM conference on Hypertext and hypermedia - HT '11 - Semantic similarity in heterogeneous ontologies

Chiabrando, Elisa, Likavec, Silvia, Lombardi, Ilaria, Picardi, Claudia, Theseider Dupré, Daniele

Year:

2011

Language:

english

File:

PDF, 854 KB

english, 2011

7

Reasoning about actions with Temporal Answer Sets

GIORDANO, LAURA, MARTELLI, ALBERTO, THESEIDER DUPRÉ, DANIELE

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 205 KB

english, 2013

8

Business process verification with constraint temporal answer set programming

GIORDANO, LAURA, MARTELLI, ALBERTO, SPIOTTA, MATTEO, DUPRÉ, DANIELE THESEIDER

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 231 KB

english, 2013

9

35 Years of Pietro Torasso’s work on diagnosis

Console, Luca, Magro, Diego, Micalizio, Roberto, Scala, Enrico, Theseider Dupré, Daniele, Torta, Gianluca, Console, Luca, Martelli, Alberto, Saitta, Lorenza

Journal:

Intelligenza Artificiale

Year:

2018

Language:

english

File:

PDF, 86 KB

english, 2018

10

Diagnosing time-varying misbehavior: an approach based on model decomposition

Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 1.41 MB

english, 1994

11

ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution

Piovesan, Luca, Spiotta, Matteo, Terenziani, Paolo, Theseider Dupré, Daniele

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 816 KB

english, 2018

12

ASP for minimal entailment in a rational extension of SROEL

GIORDANO, LAURA, DUPRÉ, DANIELE THESEIDER

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 168 KB

english, 2016

13

On the role of abduction

Torasso, Pietro, Console, Luca, Portinale, Luigi, Dupré, Daniele Theseider

Journal:

ACM Computing Surveys

Year:

1995

Language:

english

File:

PDF, 202 KB

english, 1995

14

The role of abduction in database view updating

Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré

Journal:

Journal of Intelligent Information Systems

Year:

1995

Language:

english

File:

PDF, 1.18 MB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски